The complexity of parallel systems has produced a large collection of semantics for processes. Van Glabbeek’s linear time-branching time spectrum provides a classification of most of these semantics; however, no suitable unified definitions were available. We have discovered how to unify them, both in an observational framework and in an equational framework. In this first part of our study we present the observational semantics, that stresses the differences between the simulation (branching) semantics and the extentional (linear) semantics. As a result we rediscover the classification in van Glabbeek’s spectrum and shed light on it, obtaining a framework where we can consider all the semantics in the spectrum at the same time. Also, we have discovered some “lost links” that correspond to semantics, possibly not too interesting (at the moment), that provide a clearer picture of the spectrum.
展开▼
机译:并行系统的复杂性已经为流程产生了大量语义。 Van Glabbeek的线性时间分支时间谱对这些语义中的大多数进行了分类。但是,没有合适的统一定义。我们已经发现了如何在观察框架和方程框架中统一它们。在研究的第一部分中,我们介绍了观察性语义,它强调了模拟(分支)语义和扩展(线性)语义之间的差异。结果,我们重新发现了van Glabbeek频谱的分类,并阐明了这一点,从而获得了一个可以同时考虑频谱中所有语义的框架。此外,我们发现了一些与语义相对应的“丢失的链接”,这些语义可能目前还不太有趣,它们提供了更清晰的频谱图。
展开▼